Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
701	Microsoft Word - Revised Figure.doc Add to Reading List Source URL: www.econ.brown.edu Language: English - Date: 2010-05-26 22:25:58 Biology Catecholamines Dopamine Motivation Neurotransmitters Axiomatic system Neuroeconomics Expected utility hypothesis Utility Formal systems Mind Knowledge
702	Architecture Improvement Method Methodical Improvement of Software Systems and –Architectures Dr. Gernot Starke http://aim42.org Add to Reading List Source URL: aim42.org Language: English - Date: 2014-08-27 13:49:33 Software engineering IBM Rational Unified Process Software architecture Science Process management Management Formal methods Methodology Software development process
703	Microsoft Word - Methodology for building Use Cases for large systems.doc Add to Reading List Source URL: www.rgoarchitects.com Language: English - Date: 2014-03-15 00:42:17 Systems engineering Software project management Formal methods Requirements analysis Requirements elicitation IBM Rational Unified Process Requirement Systems engineering process Software development process Software development Software requirements Software
704	European Train Control System: A Case Study in Formal Verification? Andr´e Platzer1 and Jan-David Quesel2 1 Computer Science Department, Carnegie Mellon University, Pittsburgh, PA Add to Reading List Source URL: symbolaris.com Language: English - Date: 2013-11-27 20:01:46 European Rail Traffic Management System Rail transport European Train Control System Control theory High-speed rail Automatic Train Protection Train protection systems Land transport Transport
705	Requirements in the wild: How small companies do it Jorge Aranda, Steve Easterbrook, and Greg Wilson Department of Computer Science University of Toronto, Toronto, Canada {jaranda, sme, gvwilson}@cs.toronto.edu Abstract Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2007-07-26 11:47:07 Systems engineering Software project management Formal methods Agile software development Requirement Software prototyping Software development process Reliability engineering Systems engineering process Software development Software Software requirements
706	Completeness and Incompleteness of Trace-Based Network Proof Systems? Jennifer Widom, David Gries, and Fred B. Schneider Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 22:10:37 Philosophical logic Model theory Proof theory Non-classical logic Axiom Formal methods Theorem Modal logic Trace Logic Mathematics Formal sciences
707	Regular Models of Phonological Rule Systems Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-01-19 14:23:47 Models of computation Applied mathematics Computer science Finite state transducer Finite-state machine Regular language Formal grammar Rewriting FO Formal languages Theoretical computer science Automata theory
708	Formal SDI development: The specification clash between nodes and network Rolf de By & Javier Morales Add to Reading List Source URL: www.ec-gis.org Language: English - Date: 2008-06-30 12:28:58 Management Diagrams Workflow technology Standards organizations Science Business Process Model and Notation Open Geospatial Consortium Business Process Execution Language Geographic information system Process management Unified Modeling Language Systems engineering
709	Real-Time Analytical Processing (RTAP) Using the Spark Stack Jason Dai [removed] Intel Software and Services Group Add to Reading List Source URL: spark-summit.org Language: English - Date: 2014-06-28 15:59:25 Formal sciences Business intelligence Database management systems Cloud infrastructure Big data Apache Hadoop Online analytical processing Analytics Technology Computing Data management
710	A report from the Economist Intelligence Unit Views from the C-suite Who’s big on Add to Reading List Source URL: www.economistinsights.com Language: English - Date: 2015-01-07 10:34:24 Formal sciences Data management Information systems Analytics Mathematical finance Big data Data analysis Chief information officer Chief data officer Technology Science Business intelligence

UPDATE